#include "kernel/types.h"
#include "user/user.h"

int main(int argc, char* argv[]) {
    char buf[64];
    read(0, buf, 64);

    printf("zjq_1.3Pipes_exec: ");
    printf(buf);

    exit(0);
}